ALGOL definition